proof of n choose k properties